Circuit design - PDFSEARCH.IO - Document Search Engine

Circuit design
Results: 1446

#	Item
631	SNPS[removed]10-K Add to Reading List Source URL: synopsys.com Language: English - Date: 2014-12-15 13:24:22 Integrated circuits Hardware verification languages Synopsys Hardware description language Electronic system-level design and verification Signoff Logic synthesis Integrated circuit design SystemVerilog Electronic engineering Electronic design automation Electronic design
632	Macromodeling of the A.C. Characteristics of CMOS Op-Amps Pradip Mandal V. Visvanathan Electrical Communication Engg. Dept. Add to Reading List Source URL: eprints.iisc.ernet.in Language: English - Date: 2010-09-19 00:26:49 Integrated circuits Electromagnetism Operational amplifier Integrated circuit design Network analysis Transistor model SPICE Surrogate model Semiconductor device modeling Electronic engineering Electronic design Electronics
633	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 25, NO. 5, MAY[removed]Using Simulation and Satisfiability to Compute Flexibilities in Boolean Networks Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-11-01 22:55:48 Mathematical logic Algebraic logic Logic Diagrams Formal methods Binary decision diagram Canonical form Circuit Boolean satisfiability problem Theoretical computer science Boolean algebra Mathematics
634	SAT-Based Complete Don’t-Care Computation for Network Optimization Alan Mishchenko and Robert K. Brayton Department of EECS University of California, Berkeley {alanmi, brayton}@eecs.berkeley.edu Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-12-03 17:46:16 Boolean algebra Electronic design automation Formal methods Bioinformatics Boolean network Logic Boolean satisfiability problem Circuit Model checking Theoretical computer science Applied mathematics Mathematics
635	Adaptive Admission Control for Mobile Ad Hoc Networks based on a Cross-layer Design. Add to Reading List Source URL: dl.ifip.org Language: English - Date: 2014-08-10 19:38:03 Network architecture Streaming Telecommunications engineering Electronics Quality of service Virtual circuit Adaptive quality of service multi-hop routing Teletraffic Network performance Electronic engineering
636	HV06066 GeorgeBushAirpt CS Add to Reading List Source URL: www.security.honeywell.com Language: English - Date: 2007-07-06 00:00:00 Crime prevention Electronic design Honeywell Houston Airport System Closed-circuit television Surveillance George Bush Intercontinental Airport Cochin International Airport Security National security Public safety
637	Port Security Solutions YOUR PARTNER PARTNER OF OF CHOICE CHOICE Add to Reading List Source URL: www.security.honeywell.com Language: English - Date: 2012-05-08 08:18:32 Security engineering Surveillance Electronic design Honeywell Closed-circuit television Computer security Burglar alarm Cochin International Airport Security Safety Crime prevention
638	＊R3134K (DFN(PLP[removed]and R3134Q(SC-88A) are the limited product. As of March in[removed]R3134x SERIES LOW VOLTAGE DETECTOR WITH BUILT-IN DELAY CIRCUIT NO.EA[removed] Add to Reading List Source URL: ricoh.com Language: English - Date: 2014-06-04 02:42:58 Electromagnetism Digital electronics Electronic circuits Logic families IC power supply pin Electronic design Open collector Comparator CMOS Electronic engineering Electronics Integrated circuits
639	Applying Logic Synthesis for Speeding Up SAT Niklas Een, Alan Mishchenko, Niklas S¨ orensson Cadence Berkeley Labs, Berkeley, USA. EECS Department, University of California, Berkeley, USA. Chalmers University of Technol Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-03-20 02:33:25 Theoretical computer science Conjunctive normal form And-inverter graph Science Mathematics Circuit Canonical form Boolean network Logic Electronic design automation Formal methods
640	Technology Mapping with Boolean Matching, Supergates and Choices Alan Mishchenko Satrajit Chatterjee Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-04-19 22:57:46 Logic synthesis Circuit Standard cell Boolean function Electronic engineering Electronic design automation And-inverter graph

UPDATE